

public class SAT4JConstrainTest extends TestCase {
	
	
	public void testSAT4JReader() throws Exception {
       String problemName = "./subjects/sketchguided/sat4j/sample.cnf";
		
		ISolver asolver = SolverFactory.instance().defaultSolver();
		asolver.setTimeout(Integer.MAX_VALUE);
		asolver.setDBSimplificationAllowed(true);
		
		DimacsReader reader = new DimacsReader(asolver);
		if(true) {
		  Values.randomFuzz(reader, DimacsReader.class, InputStream.class, PrintWriter.class);
		}
	}
	
	
}

